леворекурсивное правило подстановки

left recursive rule

правило подстановки — rewriting rule

праворекурсивное правило подстановки — right recursive rule